The synchronous model of computation divides the program execution into a sequence of logical steps. On the one\nhand, this view simplifies many analyses and synthesis procedures, but on the other hand, it imposes restrictions on\nthe modeling and optimization of systems. In this article, we introduce refined clocks in imperative synchronous\nlanguages to overcome these restrictions while still preserving important properties of the basic model. We first\npresent the idea in detail and motivate various design decisions with respect to the language extension. Then, we\nsketch all the adaptations needed in the design flow to support refined clocks.
Loading....